Robert Veroff: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Solving Open Questions and Other Challenge Problems Using Proof Sketches

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 104 KB

english, 2001

2

Negation in Constructive Logic || Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff and Larry Wos

Journal:

Year:

2005

Language:

english

File:

PDF, 4.06 MB

english, 2005

3

Predicting Marital Quality with Narrative Assessments of Marital Experience

Joseph Veroff, Lynne Sutherland, Letha A. Chadiha and Robert M. Ortega

Journal:

Journal of Marriage and Family

Year:

1993

Language:

english

File:

PDF, 2.18 MB

english, 1993

4

Using hints to increase the effectiveness of an automated reasoning program: Case studies

Journal:

Journal of Automated Reasoning

Year:

1996

Language:

english

File:

PDF, 936 KB

english, 1996

5

Double-Negation Elimination in Some Propositional Logics

Michael Beeson, Robert Veroff, Larry Wos

Journal:

Year:

2005

Language:

english

File:

PDF, 259 KB

english, 2005

6

The application of automated reasoning to formal models of combinatorial optimization

Paul Helman, Robert Veroff

Journal:

Applied Mathematics and Computation

Year:

2001

Language:

english

File:

PDF, 124 KB

english, 2001

7

Constructive Logic with Strong Negation Is a Substructural Logic. II

Matthew Spinks and Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 2.39 MB

english, 2008

8

Verbal fluency tests: Sensitivity to disease or drug effects not affected by simplifying scoring

Amy Veroff, Peter Snyder, Amy Fredrickson, Robert Pietrzak, Joanne Gale, Paul Maruff

Journal:

Alzheimer's & Dementia

Year:

2012

Language:

english

File:

PDF, 51 KB

english, 2012

9

Short Single Axioms for Boolean Algebra

William McCune, Robert Veroff, Branden Fitelson, Kenneth Harris, Andrew Feist, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

2002

Language:

english

File:

PDF, 103 KB

english, 2002

10

Constructive Logic with Strong Negation is a Substructural Logic. I

Matthew Spinks, Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 254 KB

english, 2008

11

Abelian Logic and the Logics of Pointed Lattice-Ordered Varieties

Francesco Paoli, Matthew Spinks, Robert Veroff

Journal:

Logica Universalis

Year:

2008

Language:

english

File:

PDF, 631 KB

english, 2008

12

The linked inference principle, I: The formal treatment

Robert Veroff, Larry Wos

Journal:

Journal of Automated Reasoning

Year:

1992

Language:

english

File:

PDF, 3.38 MB

english, 1992

13

The relationship between rater experience and performance on certification exercises and study subject ratings in an Alzheimer trial

Perez, Magdalena, Bertzos, Kristina, Brady, Chris, Hazel, James, Watson-Coleman, Olive, Berman, Robert, Coric, Vlad, Feldman, Howard H., Veroff, Amy E.

Journal:

Alzheimer's & Dementia

Year:

2010

Language:

english

File:

PDF, 41 KB

english, 2010

14

REVIEW AND ANALYSIS OF CROSS-CULTURAL NORMATIVE DATA FOR THE REPEATABLE BATTERY FOR THE ASSESSMENT OF NEUROPSYCHOLOGICAL STATUS (RBANS): IMPLICATIONS FOR MULTI-NATIONAL MCI CLINICAL TRIALS

Kingery, Lisle, Veroff, Amy E., McCue, Robert, Zaragoza, Silvia, Krishna, Vanitha

Journal:

Alzheimer's & Dementia

Year:

2014

Language:

english

File:

PDF, 249 KB

english, 2014

15

A Bayesian Network Classification Methodology for Gene Expression Data

Helman, Paul, Veroff, Robert, Atlas, Susan R., Willman, Cheryl

Journal:

Journal of Computational Biology

Year:

2004

Language:

english

File:

PDF, 218 KB

english, 2004

16

Designing deductive databases

Paul Helman, Robert Veroff

Journal:

Journal of Automated Reasoning

Year:

1988

Language:

english

File:

PDF, 1.70 MB

english, 1988

17

Yet another single law for lattices

William McCune, R. Padmanabhan, Robert Veroff

Journal:

Algebra Universalis

Year:

2003

Language:

english

File:

PDF, 130 KB

english, 2003

18

ADAS-Cog central monitoring and intervention with raters: A critical extension and integral component of Alzheimer trials rater training programs

Veroff, Amy E., Perez, Magdalena, Bertzos, Kristina, Brady, Chris, Hazel, James, Watson-Coleman, Olive, Coric, Vlad, Berman, Robert, Feldman, Howard H.

Journal:

Alzheimer's & Dementia

Year:

2010

Language:

english

File:

PDF, 101 KB

english, 2010

19

Towards more strategic subject selection in Alzheimer's randomized clinical trials: neuropsychological testing to distinguish fast decliners from improvers

Amy Veroff, Tomislav Babic, Vlad Coric, Robert Berman, Howard Feldman

Journal:

Alzheimer's & Dementia

Year:

2011

Language:

english

File:

PDF, 77 KB

english, 2011

20

Achievement Motivation and Performance among Second-Grade Boys and Girls

Donna Mitchell Schell, Joseph Veroff and Robert E. Schell

Journal:

The Journal of Experimental Education

Year:

1967

Language:

english

File:

PDF, 1.42 MB

english, 1967

21

Constructive Logic with Strong Negation Is a Substructural Logic. I

Matthew Spinks and Robert Veroff

Journal:

Year:

2008

Language:

english

File:

PDF, 2.09 MB

english, 2008

22

Learning and modeling biosignatures from tissue images

Frank Gilfeather, Vikas Hamine, Paul Helman, Julie Hutt, Terry Loring, C. Rick Lyons, Robert Veroff

Journal:

Computers in Biology and Medicine

Year:

2007

Language:

english

File:

PDF, 3.41 MB

english, 2007

23

Finding Shortest Proofs: An Application of Linked Inference Rules

Journal:

Journal of Automated Reasoning

Year:

2001

Language:

english

File:

PDF, 88 KB

english, 2001

24

Achievement Motivation and Performance Among Second-Grade Boys and Girls

Schell, Donna Mitchell, Veroff, Joseph, Schell, Robert E.

Journal:

The Journal of Experimental Education

Year:

1967

Language:

english

File:

PDF, 1.18 MB

english, 1967

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски